861. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
862. The evolution of Principia mathematica :
پدیدآورنده : Bernard Linsky
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Russell, Bertrand,1872-1970., Principles of mathematics,Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
R883
L56
2011
863. The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition
پدیدآورنده : Linsky, Bernard
کتابخانه: (طهران)
موضوع : ، Russell, Bertrand, 2781-0791. Principles of mathematics,، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R883L56
864. The foundations of mathematics
پدیدآورنده : Stewart, Ian.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S755
1977
865. The foundations of mathematics
پدیدآورنده : Stewart, Ian.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and Mathematical
رده :
QA
9
.
S755
866. The foundations of mathematics /
پدیدآورنده : Ian Stewart and David Tall
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
S755
2015
867. The foundations of mathematics and other logical essays
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R23
868. The foundations of mathematics and other logical essays.
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R3
869. The foundations of mathematics and other logical essays
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R23
1960
870. The grammar of mathematic
پدیدآورنده : Durst, Lincoln K., ]by[ Lincoln K. Durst
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D86
871. The grammar of mathematics
پدیدآورنده : Durst, Lincoln K
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D86
872. The great rift :
پدیدآورنده : Michael E. Hobart.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- History.,Mathematics, Medieval.,Numeration-- History.,Religion and science-- History.,Science, Renaissance.,Signs and symbols-- History.,02.01 history of science and culture.,15.70 history of Europe.,Mathematics, Medieval.,Mathematics.,Mathematik,Numeration.,Religion,Religion and science.,Science, Renaissance.,Signs and symbols.,Wissenschaft,Wissenschaftsentwicklung,Zahlzeichen
رده :
BL265
.
M3
H63
2018
873. The limits of science; outline of logic and of the methodology of the exact sciences.
پدیدآورنده : Chwistek, Leon
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Science - Methodology,، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
Q
175
.
C494
1948
874. The limits of science;outline of logic and of the methodology of the exact sciences
پدیدآورنده : By the late Leon Chwistek; Introduction and appendix by Helen Charlotte Brodie
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Science--Methodology.,Mathematics--Philosophy.,Logic, Symbolic and mathematical.
875. <The> logical systems of Lesniewski
پدیدآورنده :
موضوع :
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
876. The mathematical experience
پدیدآورنده : Philip J. Davis, Reuben Hersh, Elena Anne Marchisotto
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- History,Mathematics-- Philosophy,Mathematics-- Study and teaching
رده :
QA8
.
4
.
D37
2012eb
877. The mathematics of inheritance systems /
پدیدآورنده : David S. Touretzky
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence,Computer architecture,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
A73
T67
1986
878. The mathematics of logic
پدیدآورنده : Richard W. Kaye
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهکیلویة و بویرأحمد)
موضوع : Logic, Symbolic and mathematical
رده :
511
,.
3
,.
K32
,
2007
879. The mathematics of logic: a guide to completeness theorems and their applications
پدیدآورنده : Kaye, Richard )Richard W.(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
K32
2007
880. The mathematics of logic : a guide to completeness theorems and their applications
پدیدآورنده : Kaye, Richard W.
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
K32
2007
